Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
431	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science
432	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
433	EAPSU Online: A Journal of Critical and Creative Work Published by the English Association of Pennsylvania State Universities Add to Reading List Source URL: media.tripod.lycos.com Language: English - Date: 2011-08-04 15:09:52 Literate programming Programming language theory Multiculturalism Willard Van Orman Quine Kutztown University of Pennsylvania Philosophy Software engineering Haskell
434	WHOPR - Fast and Scalable Whole Program Optimizations in GCC Initial Draft 12-DecPreston Briggs Doug Evans Brian Grant Robert Hundt William Maddox Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2009-01-27 12:15:01 Compiler optimizations Graph theory Static single assignment form GNU Compiler Collection Call graph Compiler Inline expansion Intermediate language Interprocedural optimization Software Programming language implementation Compiler construction
435	1 The prefix “cent” in front of a word such as centipede or centennial means: 2 Add to Reading List Source URL: www.testtrade.com Language: English - Date: 2010-07-01 20:03:20 Programming language theory Computing C++ C++ classes Computer programming
436	On Acting Hector J. Levesque* Dept. of Computer Science University of Toronto Toronto, Ont. M5S lA4 Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-22 17:53:52 Multi-agent systems Science Function Causality Action theory Philosophy GOAL agent programming language Mutual information Philosophy of science Mathematics Information theory
437	1 Lots of authors Static Single Assignment Book Tuesday 8th July, 2014 Add to Reading List Source URL: ssabook.gforge.inria.fr Language: English - Date: 2014-07-08 12:41:27 Computing Compiler construction Static single assignment form Register allocation Constant folding Program optimization Algorithm Continuation-passing style Data-flow analysis Compiler optimizations Software engineering Programming language theory
438	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
439	The mixin phase c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia October 10th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-09 04:22:14 Object-oriented programming Interfaces Type theory Mixin Java programming language Mutator method Trait Method Class Software engineering Computing Computer programming
440	REVIEWS BOOKS Learning Python with Raspberry Pi Graham Morrison absolutely hates this book. It’s rubbish. Honestly. F Add to Reading List Source URL: www.linuxvoice.com Language: English - Date: 2015-02-09 09:27:26 Python Raspberry Pi Algorithm Pi ALGOL 68 Computing Software engineering Programming language theory

UPDATE